Analyse von Petri-Netz-Modellen
نویسنده
چکیده
منابع مشابه
Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen
Rechensysteme werden sowohl bzgl. funktionaler Aspekte (z.B. Betrachtung von Deadlocks) als auch hinsichtlich quantitativer Aspekte (z.B. Betrachtung des Durchsatzes) untersucht. Der Einsatz von Petri-Netzen bzw. Warteschlangennetzen bietet sich hierbei an, da für beide Modellwelten eine fundierte Theorie existiert. Um zu vermeiden, daß zwei Modelle für ein System erstellt werden müssen, existi...
متن کاملOOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten Modellierung
Aufgrund der potentiellen Vorzüge einer Synthese von Petri-Netzen und objektorientierten Konzepten in den Bereichen der Modularisierung von Petri-Netzen und der formal basierten objektorientierten Modellierung, sind seit Mitte der achtziger Jahre eine Vielzahl von Ansätzen entstanden, von denen sich jedoch auf breiter Front keiner hat durchsetzen können. Dieser Artikel beleuchtet kurz die Probl...
متن کاملModellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON
Gegenstand des vorliegenden Artikels ist die Vorstellung des aktuellen Entwicklungstandes von POSEIDON, einem Werkzeug zur Modellierung, Simulation und Analyse von Petri-Netzen. Die breite Palette verfügbarer Simulationsund Analysealgorithmen sowie die konsequente Ausrichtung der Bedienkonzepte an die Bedürfnisse akademischer Anwender, prädestinieren POSEIDON für die Nutzung im wissenschaftlich...
متن کاملProzeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen
Stichworte: Geschäftsprozeßmodellierung, Business Reengineering, Prozeßanalyse, Ereignisgesteuerte Prozeßkette, Petri-Netz, Verifikation, Simulation. Zusammenfassung: Nach einer Definition der Syntax für EPKs werden Regeln angegeben, um EPKs in Petri-Netze zu übersetzen. Die resultierenden Booleschen Netze sind eine Erweiterung von Stellen/Transitions-Netzen um logische Verknüpfungen und bilden...
متن کاملModellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen
Der zunehmenden Komplexität von Software-Modellen, die als Parameter für Codegenerierung verwendet werden, steht der menschliche Modellierer gegenüber, dessen mögliche Modellierungsfehler sich direkt auf das generierte Systemverhalten auswirken. Der Modellierer muss je nach konkreter Aufgabe die gewünschte Sicht auf das Modell wählen können und darüber hinaus durch automatische Qualitätssicheru...
متن کامل